Formulating Integer Linear Programs: A Rogues' Gallery
نویسندگان
چکیده
منابع مشابه
Formulating Integer Linear Programs: A Rogues' Gallery
The art of formulating linear and integer linear programs is, well, an art: It is hard to teach, and even harder to learn. To help demystify this art, we present a set of modeling building blocks that we call “formulettes.” Each formulette consists of a short verbal description that must be expressed in terms of variables and constraints in a linear or integer linear program. These formulettes ...
متن کاملTermination of Integer Linear Programs
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integers in the homogeneous case, and over the rationals in the general case. This is done by analyzing the powers of a matrix symbolically using its eigenvalues. Our results generalize the work of Tiwari [Tiw04], where si...
متن کاملPresolving Mixed-Integer Linear Programs
We survey the techniques used for presolving Mixed-integer linear programs (MILPs). Presolving is an important component of all modern MILP solvers. It is used for simplifying a given instance, for detecting any obvious problems or errors, and for identifying structures and characteristics that are useful for solving an instance.
متن کاملAnalyzing Infeasible Mixed-Integer and Integer Linear Programs
Algorithms and computer-based tools for analyzing infeasible linear and nonlinear programs have been developed in recent years, but few such tools exist for infeasible mixed-integer or integer linear programs. One approach that has proven especially useful for infeasible linear programs is the isolation of an Irreducible Infeasible Set of constraints (IIS), a subset of the constraints defining ...
متن کاملOptima of dual integer linear programs
It is well recognized that a large part of combinatorics can be formulated in terms of integer linear programs . A particularly satisfying situation occurs when the linear program and its dual both have integral solutions . In this case the optima of the programs are equal by the duality theorem of linear programming, and there results a min-max theorem. Apart from their aesthetic value, these ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: INFORMS Transactions on Education
سال: 2007
ISSN: 1532-0545,1532-0545
DOI: 10.1287/ited.7.2.153